Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 7.Ident. | Authors (with country if any) | Title |
---|---|---|
009E56 | Olivier Bournez [France] ; Oded Maler [France] | On the Representation of Timed Polyhedra |
009F33 | Eugene Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems |
009F95 | Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël] | Effective synthesis of switching controllers for linear systems |
00A173 | Olivier Bournez [France] ; Oded Maler [France] | On the representation of timed polyhedra |
00A232 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] ; Amir Pnueli [France] | Effective Synthesis of Switching Controllers for Linear Systems |
00A271 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate reachability analysis of piecewise-linear dynamical systems |
00AC63 | Olivier Bournez [France] ; Oded Maler [France] ; Amir Pnueli [France] | Orthogonal Polyhedra: Representation and Computation |
This area was generated with Dilib version V0.6.33. |